Main Concepts of Networks of Transformation Units with Interlinking Semantics
نویسندگان
چکیده
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but can be applied to various types of parallelism and concurrency. The central syntactic notion is that of a transformation unit that encapsulates a set of rules, imports other transformation units, and regulates the use and interaction of both by means of a control condition. The semantics is given by interlinking the applications of rules with the semantics of the imported units using a given collection of semantic operations. As the main result, the interlinking semantics turns out to be the least fixed point of the interlinking operator. The interlinking semantics generalizes the earlier introduced interleaving semantics of rule-based transformation units, which is obtained by the sequential composition of binary relations as only semantic operation.
منابع مشابه
A New Interpretation of the Semantics of "Moral Obligation" from Allame Tabatabaie's Viewpoint
The most important part in analyzing moral concepts includes those used as predicate in moral sentences covering moral concepts of valuation and obligation. Moral concepts in the field of values include those like “good” and “bad” while obligatory concepts include “ought to” and “ought no” and “duty”. Many papers have been written about “moral obligation”; however, dissociating the area of sema...
متن کاملVULNERABILITY ASSESSMENT OF WATER DISTRIBUTION NETWORKS: GRAPH THEORY METHOD
The main functional purpose of a water distribution network is to transport water from a source to several domestic and industrial units while at the same time satisfying various requirements on hydraulic response. All the water distribution networks perform two basic operations: firstly the water network needs to deliver adequate amounts of water to meet specific requirements, and secondly the...
متن کاملAn Investigation of the Role and Function of the Family in Adolescents\' Addiction to Social Networks: A Qualitative Study
The purpose of the present study, which is based on grounded theory, was to investigate the role and function of the family in the formation and continuation of adolescents’ addiction to social networks. A total number of 39 students (25 girls and 14 boys), 12 parents, and 11 psychologists were interviewed using a semi-structured questionnaire and the data were analyzed via Strauss and Corbin m...
متن کاملPresenting a comprehensive framework of effective factors, behavior and consequences of using enterprise social networks
Aim: The purpose of this paper is to determine the factors affecting the use of enterprise social networks, the types of usage behavior and the consequences of using these networks. Methodology: This is a descriptive study. The qualitative inquiries of previous researches in the social networking enterprise had been investigated by means of meta-synthesis. A total of 470 found source of meta-s...
متن کاملStructural and Behavioural Equivalences of Networks
We de ne an algebraic language for networks of synchronously communicating asynchronous processes. A node in the network may have several ports; a port is either external to the whole network or connected through a link to another port. The language contains two types of operations: parallel composition of two networks, and interlinking of two external ports within a network. We interpret this ...
متن کامل